Noëlle Deflou-Leca, Saint-Germain d’Auxerre et ses dépendances (ve-xi
نویسندگان
چکیده
منابع مشابه
L'Âme et ses passions
Commentarius), which is frequently mentioned in his other writings. The latter work, too, is preserved only in fragments. A long passage from the third book was initially published by Daremberg in 1848 and was subsequently edited in the CMG in 1934 by Schroder and Kahle. In this book Larrain demonstrates that the reading of MS. scor. graec. 4-HI-l 1 (Revilla 230) pp. 123w -126w, whose subjectma...
متن کاملL’anneau Z Et Ses Quotients
Un anneau est un ensemble A muni de deux lois de composition internes + et × telles que (A,+) est un groupe commutatif d’élément neutre noté 0 et la loi × est associative et distributive à gauche et à droite par rapport à +. Si × admet un élément neutre 1 on dit que l’anneau est unitaire. Si × est commutative on dit que l’anneau est commutatif. L’anneau des matrices d× d pour d ≥ 2 est unitaire...
متن کاملÉvaluation des annotations : ses principes et ses pièges
A lot of data is produced by NLP (automatic systems) and for NLP (reference corpus, for computational linguistics or for machine learning) and should be publicly released only if their consistency is proven. While the growing effort that has been made in this direction over the past two decades is encouraging, for example through the increasing use of inter-annotating agreement measures such as...
متن کاملAnalyse de dépendances et correction des réseaux de preuve
Les fruits de Curry-Howard. Depuis la mise en évidence via la correspondance de CurryHoward [21], des relations entre démonstrations mathématiques et programmes informatiques, théorie de la programmation et théorie de la démonstration s’enrichissent mutuellement. Parmi les nombreux allers-retours fructueux entre preuves et programmes, la logique linéaire [13] tient une place exemplaire. Girard ...
متن کاملUne notation semantique et ses implications linguistiques
Une notation s~mantique et ses implications linguistiques (R6sum6) i. Une notation estpropos~e en vue de fixer la structure s~mantique d'un texte naturel de fagon a en permettre le traitement automatique ult~rieur, logique (d~duction) ou linguistique (traduction). A la difference d'un langage documentaire (ou d'information), la notation propos~e ne vise, en premier lieu qu'~ ~claircir et ordonn...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Médiévales
سال: 2011
ISSN: 0751-2708,1777-5892
DOI: 10.4000/medievales.6584